Why Is A Monad Like A Writing Desk